Nadathur, S.: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

[ACM Press the 37th annual international symposium - Saint-Malo, France (2010.06.19-2010.06.23)] Proceedings of the 37th annual international symposium on Computer architecture - ISCA '10 - Debunking the 100X GPU vs. CPU myth

Lee, Victor W., Hammarlund, Per, Singhal, Ronak, Dubey, Pradeep, Kim, Changkyu, Chhugani, Jatin, Deisher, Michael, Kim, Daehyun, Nguyen, Anthony D., Satish, Nadathur, Smelyanskiy, Mikhail, Chennupaty,

Year:

2010

Language:

english

File:

PDF, 470 KB

english, 2010

2

Debunking the 100X GPU vs. CPU myth

Lee, Victor W., Hammarlund, Per, Singhal, Ronak, Dubey, Pradeep, Kim, Changkyu, Chhugani, Jatin, Deisher, Michael, Kim, Daehyun, Nguyen, Anthony D., Satish, Nadathur, Smelyanskiy, Mikhail, Chennupaty,

Journal:

ACM SIGARCH Computer Architecture News

Year:

2010

Language:

english

File:

PDF, 470 KB

english, 2010

3

Designing fast architecture-sensitive tree search on modern multicore/many-core processors

Kim, Changkyu, Chhugani, Jatin, Satish, Nadathur, Sedlar, Eric, Nguyen, Anthony D., Kaldewey, Tim, Lee, Victor W., Brandt, Scott A., Dubey, Pradeep

Journal:

ACM Transactions on Database Systems

Year:

2011

Language:

english

File:

PDF, 1.16 MB

english, 2011

4

Sort vs. Hash revisited

Kim, Changkyu, Kaldewey, Tim, Lee, Victor W., Sedlar, Eric, Nguyen, Anthony D., Satish, Nadathur, Chhugani, Jatin, Di Blas, Andrea, Dubey, Pradeep

Journal:

Proceedings of the VLDB Endowment

Year:

2009

Language:

english

File:

PDF, 1.11 MB

english, 2009

5

Sustainable Protein Sources || Flavors, Taste Preferences, and the Consumer

Year:

2017

Language:

english

File:

PDF, 278 KB

english, 2017

6

Uniform proofs as a foundation for logic programming

Dale Miller, Gopalan Nadathur, Frank Pfenning, Andre Scedrov

Journal:

Annals of Pure and Applied Logic

Year:

1991

Language:

english

File:

PDF, 2.37 MB

english, 1991

7

A proof procedure for the logic of hereditary Harrop formulas

Gopalan Nadathur

Journal:

Journal of Automated Reasoning

Year:

1993

Language:

english

File:

PDF, 2.33 MB

english, 1993

8

A Two-Level Logic Approach to Reasoning About Computations

Andrew Gacek, Dale Miller, Gopalan Nadathur

Journal:

Journal of Automated Reasoning

Year:

2012

Language:

english

File:

PDF, 606 KB

english, 2012

9

Implementing polymorphic typing in a logic programming language

Keehang Kwon, Gopalan Nadathur, Debra Sue Wilson

Journal:

Computer Languages

Year:

1994

Language:

english

File:

PDF, 1.49 MB

english, 1994

10

[Lecture Notes in Computer Science] Principles and Practice of Declarative Programming Volume 1702 || C-—: A Portable Assembly Language that Supports Garbage Collection

Nadathur, Gopalan

Year:

1999

Language:

english

File:

PDF, 278 KB

english, 1999

11

DySER: Unifying Functionality and Parallelism Specialization for Energy-Efficient Computing

Govindaraju, Venkatraman, Ho, Chen-Han, Nowatzki, Tony, Chhugani, Jatin, Satish, Nadathur, Sankaralingam, Karthikeyan, Kim, Changkyu

Journal:

Year:

2012

Language:

english

File:

PDF, 1.01 MB

english, 2012

12

[IEEE Distributed Processing (IPDPS) - Rome, Italy (2009.05.23-2009.05.29)] 2009 IEEE International Symposium on Parallel & Distributed Processing - Designing efficient sorting algorithms for manycore GPUs

Satish, Nadathur, Harris, Mark, Garland, Michael

Year:

2009

Language:

english

File:

PDF, 641 KB

english, 2009

13

[Lecture Notes in Computer Science] Principles and Practice of Declarative Programming Volume 1702 || A Calculus for Interaction Nets

Nadathur, Gopalan

Year:

1999

Language:

english

File:

PDF, 284 KB

english, 1999

14

[IEEE 2009 International Conference on High Performance Computing (HiPC) - Kochi, India (2009.12.16-2009.12.19)] 2009 International Conference on High Performance Computing (HiPC) - Optimizing the use of GPU memory in applications with large data sets

Satish, Nadathur, Sundaram, Narayanan, Keutzer, Kurt

Year:

2009

Language:

english

File:

PDF, 276 KB

english, 2009

15

[IEEE 2016 IEEE International Parallel and Distributed Processing Symposium (IPDPS) - Chicago, IL, USA (2016.5.23-2016.5.27)] 2016 IEEE International Parallel and Distributed Processing Symposium (IPDPS) - GraphPad: Optimized Graph Primitives for Parallel and Distributed Platforms

Anderson, Michael J., Sundaram, Narayanan, Satish, Nadathur, Patwary, Md. Mostofa Ali, Willke, Theodore L., Dubey, Pradeep

Year:

2016

Language:

english

File:

PDF, 666 KB

english, 2016

16

GraphMat

Sundaram, Narayanan, Satish, Nadathur, Patwary, Md Mostofa Ali, Dulloor, Subramanya R., Anderson, Michael J., Vadlamudi, Satya Gautam, Das, Dipankar, Dubey, Pradeep

Journal:

Proceedings of the VLDB Endowment

Year:

2015

Language:

english

File:

PDF, 510 KB

english, 2015

17

Parallelizing Word2Vec in Shared and Distributed Memory

Ji, Shihao, Satish, Nadathur, Li, Sheng, Dubey, Pradeep

Journal:

IEEE Transactions on Parallel and Distributed Systems

Year:

2019

Language:

english

File:

PDF, 714 KB

english, 2019

18

DanaherâThe Making of a Conglomerate

Bourgeois, L. J., Nadathur, Sriram

Journal:

Darden Business Publishing Cases

Year:

2017

File:

PDF, 695 KB

2017

19

Reasoning in Abella about Structural Operational Semantics Specifications

Andrew Gacek, Dale Miller, Gopalan Nadathur

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 310 KB

english, 2009

20

Short time Fourier transform algorithm for wind response control of buildings with variable stiffness TMD

Satish Nagarajaiah, Nadathur Varadarajan

Journal:

Engineering Structures

Year:

2005

Language:

english

File:

PDF, 1.85 MB

english, 2005

21

A notation for lambda terms a generalization of environments

Gopalan Nadathur, Debra Sue Wilson

Journal:

Theoretical Computer Science

Year:

1998

Language:

english

File:

PDF, 3.48 MB

english, 1998

22

Correspondences between classical, intuitionistic and uniform provability

Gopalan Nadathur

Journal:

Theoretical Computer Science

Year:

2000

Language:

english

File:

PDF, 152 KB

english, 2000

23

The Suspension Notation for Lambda Terms and its Use in Metalanguage Implementations

Gopalan Nadathur

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 729 KB

english, 2002

24

The nucleotide sequence of the small subunit ribosomal RNA gene fromSymbiodinium pilosum, a symbiotic dinoflagellate

Lori A. Sadler, Kenneth L. McNally, Nadathur S. Govind, Clifford F. Brunk, Robert K. Trench

Journal:

Current Genetics

Year:

1992

Language:

english

File:

PDF, 802 KB

english, 1992

25

Isolation and sequence analysis of the small subunit ribosomal RNA gene from the euryhaline yeastDebaryomyces hansenii

Nadathur S. Govind, Kenneth L. McNally, Robert K. Trench

Journal:

Current Genetics

Year:

1992

Language:

english

File:

PDF, 475 KB

english, 1992

26

The small subunit ribosomal RNA gene ofTetraselmis convolutae— a feed alga for invertebrate mariculture

Marta D. Jesus, Nadathur S. Govind, Rosally V. Agbunag, Robert Kahn, Erik Avaniss-Aghajani, Robert K. Trench, David J. Chapman, Clifford F. Brunk

Journal:

Journal of Applied Phycology

Year:

1995

Language:

english

File:

PDF, 644 KB

english, 1995

27

Bacteria Associated with Toxic Clonal Cultures of the DinoflagellateOstreopsis lenticularis

Lumarie Pérez-Guzmán, Ana E. Pérez-Matos, William Rosado, Thomas R. Tosteson, Nadathur S. Govind

Journal:

Marine Biotechnology

Year:

2008

Language:

english

File:

PDF, 150 KB

english, 2008

28

Regulated expression of green fluorescent protein inDebaryomyces hansenii

Ricardo G. Maggi, Nadathur S. Govind

Journal:

Journal of Industrial Microbiology & Biotechnology

Year:

2004

Language:

english

File:

PDF, 406 KB

english, 2004

29

Bacterial diversity associated with the Caribbean tunicateEcteinascidia turbinata

Ana E. Pérez-Matos, William Rosado, Nadathur S. Govind

Journal:

Antonie van Leeuwenhoek

Year:

2007

Language:

english

File:

PDF, 294 KB

english, 2007

30

Choices in Representation and Reduction Strategies for Lambda Terms in Intensional Contexts

Chuck Liang, Gopalan Nadathur, Xiaochu Qi

Journal:

Journal of Automated Reasoning

Year:

2004

Language:

english

File:

PDF, 341 KB

english, 2004

31

Scoping constructs in logic programming: Implementation problems and their solution

Gopalan Nadathur, Bharat Jayaraman, Keehang Kwon

Journal:

The Journal of Logic Programming

Year:

1995

Language:

english

File:

PDF, 2.92 MB

english, 1995

32

Habla Español? : The Importance of Learning Spanish for Women's Health Professionals

Susan L. Nadathur

Journal:

Nursing for Women's Health

Year:

2002

Language:

english

File:

PDF, 143 KB

english, 2002

33

Biodegradation of Poly(3-hydroxybutyrate-co-3-hydroxyvalerate) by a Tropical Marine Bacterium, Pseudoalteromonas sp. NRRL B-30083

Timothy D. Leathers, Nadathur S. Govind, Richard V. Greene

Journal:

Journal of Polymers and the Environment

Year:

2000

Language:

english

File:

PDF, 114 KB

english, 2000

34

Higher-order Horn clauses

Nadathur, Gopalan, Miller, Dale

Journal:

Journal of the ACM

Year:

1990

Language:

english

File:

PDF, 2.99 MB

english, 1990

35

Construction of Plasmid Vectors and Transformation of the Marine YeastDebaryomyces hansenii

Ricaurte, Martha L., Govind, Nadathur S.

Journal:

Marine Biotechnology

Year:

1999

Language:

english

File:

PDF, 412 KB

english, 1999

36

Antimutagenicity of yogurt

Alan T. Bakalinsky, Sudarshan R. Nadathur, John R. Carney, Steven J. Gould

Journal:

Mutation Research/Fundamental and Molecular Mechanisms of Mutagenesis

Year:

1996

Language:

english

File:

PDF, 180 KB

english, 1996

37

Antimutagenicity of an acetone extract of yogurt

Sudarshan R. Nadathur, Steven J. Gould, Alan T. Bakalinsky

Journal:

Mutation Research/Environmental Mutagenesis and Related Subjects

Year:

1995

Language:

english

File:

PDF, 931 KB

english, 1995

38

Nominal abstraction

Andrew Gacek, Dale Miller, Gopalan Nadathur

Journal:

Information and Computation

Year:

2011

Language:

english

File:

PDF, 806 KB

english, 2011

39

Biodegradation of toxic chemicals in Guayanilla Bay, Puerto Rico

Baqar R. Zaidi, Lynne M. Hinkey, Nydia R. Rodrı&amp, #x0301, guez, Nadathur S. Govind, Syed H. Imam

Journal:

Marine Pollution Bulletin

Year:

2003

Language:

english

File:

PDF, 351 KB

english, 2003

40

Palmitic acid is the major fatty acid responsible for significant anti-N-methyl-N′-nitro-N-nitrosoguanidine (MNNG) activity in yogurt

Sudarshan R. Nadathur, John R. Carney, Steven J. Gould, Alan T. Bakalinsky

Journal:

Mutation Research/Environmental Mutagenesis and Related Subjects

Year:

1996

Language:

english

File:

PDF, 854 KB

english, 1996

41

POLYCLONAL ANTIBODIES AGAINST IRON-SUPEROXIDE DISMUTASE FROM ESCHERICHIA COLI B CROSS-REACT WITH SUPEROXIDE DISMUTASES FROM SYMBIODINIUM MICROADRIATICUM (DINOPHYCEAE)

Jaime L. Matta, Nadathur S. Govind, Robert K. Trench

Journal:

Journal of Phycology

Year:

1992

File:

PDF, 780 KB

1992

42

SMALL-SUBUNIT RIBOSOMAL DNA SEQUENCE ANALYSES AND A RECONSTRUCTION OF THE INFERRED PHYLOGENY AMONG SYMBIOTIC DINOFLAGELLATES (PYRROPHYTA)

Kenneth L. McNally, Nadathur S. Govind, Patricia E. Thomé, Robert K. Trench

Journal:

Journal of Phycology

Year:

1994

File:

PDF, 2.62 MB

1994

43

Impairment of cobalt-induced riboflavin biosynthesis in a Debaryomyces hansenii mutant

Seda-Miró, Jasmine M., Arroyo-González, Nancy, Pérez-Matos, Ana, Govind, Nadathur S.

Journal:

Canadian Journal of Microbiology

Year:

2007

Language:

english

File:

PDF, 160 KB

english, 2007

44

Culturable and nonculturable bacterial symbionts in the toxic benthic dinoflagellate Ostreopsis lenticularis

Mayra Ashton, William Rosado, Nadathur S Govind, Thomas R Tosteson

Journal:

Year:

2003

Language:

english

File:

PDF, 101 KB

english, 2003

45

Antimutagenic Effects of Milk Fermented by Lactobacillus helveticus L89 and a Protease-Deficient Derivative

Chantal Matar, Sudarshan S. Nadathur, Alan T. Bakalinsky, Jacques Goulet

Journal:

Journal of Dairy Science

Year:

1997

Language:

english

File:

PDF, 308 KB

english, 1997

46

Effects of Hydrolysis of Milk Glycerides on the Antimutagenicity of a Hexane Extract of Milk

Sudarshan R. Nadathur, Lin Zhou, Robert R. Lowry, Alan T. Bakalinsky

Journal:

Journal of Dairy Science

Year:

1998

Language:

english

File:

PDF, 109 KB

english, 1998

47

[Lecture Notes in Computer Science] Principles and Practice of Declarative Programming Volume 1702 || Constraint Programming in OPL

Nadathur, Gopalan

Year:

1999

Language:

english

File:

PDF, 175 KB

english, 1999

48

Inflation with large supergravity corrections

Mazumdar, Anupam, Nadathur, Seshadri, Stephens, Philip

Journal:

Physical Review D

Year:

2012

Language:

english

File:

PDF, 216 KB

english, 2012

49

Wind Response Control of Building with Variable Stiffness Tuned Mass Damper Using Empirical Mode Decomposition/Hilbert Transform

Varadarajan, Nadathur, Nagarajaiah, Satish

Journal:

Journal of Engineering Mechanics

Year:

2004

Language:

english

File:

PDF, 339 KB

english, 2004

50

Can traditional programming bridge the Ninja performance gap for parallel computing applications?

Satish, Nadathur, Kim, Changkyu, Chhugani, Jatin, Saito, Hideki, Krishnaiyer, Rakesh, Smelyanskiy, Mikhail, Girkar, Milind, Dubey, Pradeep

Journal:

ACM SIGARCH Computer Architecture News

Year:

2012

Language:

english

File:

PDF, 436 KB

english, 2012

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски